window: Unset source ID before possibly destroying the widget
authorCarlos Garnacho <carlosg@gnome.org>
Fri, 21 Mar 2014 14:31:40 +0000 (15:31 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Fri, 21 Mar 2014 14:41:10 +0000 (15:41 +0100)
commit9adfc8e2c4c17478d3bfdbedb80846209c7b82aa
treec572c023fe08c346215f46535200e8532878ddaa
parent0e7884f1a7352b05ea8d40c9638e91acb0fa7407
window: Unset source ID before possibly destroying the widget

If the delete event ends up destroying the widget, unsetting
priv->delete_event_handler will happen on invalid memory, so
unset it before the widget is possibly destroyed.

https://bugzilla.gnome.org/show_bug.cgi?id=726825
gtk/gtkwindow.c